Advisors for Incremental Propagation
نویسندگان
چکیده
While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming systems should support incremental propagation. This paper introduces advisors as a simple and efficient, yet widely applicable method for supporting incremental propagation in a propagator-centered setting. The paper presents how advisors can be used for achieving different forms of incrementality and evaluates cost and benefit for several global constraints.
منابع مشابه
Techniques for Efficient Constraint Propagation
This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation. Support for incremental propagation is added to a propagatorcentered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential asp...
متن کاملPropagation of Crack in Linear Elastic Materials with Considering Crack Path Correction Factor
Modeling of crack propagation by a finite element method under mixed mode conditions is of prime importance in the fracture mechanics. This article describes an application of finite element method to the analysis of mixed mode crack growth in linear elastic fracture mechanics. Crack - growth process is simulated by an incremental crack-extension analysis based on the maximum principal stress c...
متن کاملReasoning about Advisors for Seller Selection in E-Marketplaces via POMDPs
In an e-marketplace populated with a large number of sellers, some of which may be dishonest, the selection of good sellers to do business with is crucial but challenging especially when buyers do not have much experience with these sellers. In this paper we introduce the SALE POMDP, a framework for the seller selection problem that allows the decision maker to reason both about the quality of ...
متن کاملFast Incremental Unit Propagation by Unifying Watched - literals and Local Repair
The propositional satisfiability problem has been studied extensively due to its theoretical significance and applicability to a variety of fields including diagnosis, autonomous control, circuit testing, and software verification. In these applications, satisfiability problem solvers are often used to solve a large number of problems that are essentially the same and only differ from each othe...
متن کاملA Survey Paper on Data Clustering using Incremental Affine Propagation
Clustering domain is vital part of data mining domain and widely used in different applications. In this project we are focusing on affinity propagation (AP) clustering which is presented recently to overcome many clustering problems in different clustering applications. Many clustering applications are based on static data. AP clustering approach is supporting only static data applications, he...
متن کامل